# name : Negate(f)
# key : Negate.base
# contributor: Shuguang Sun
# contributor: Shuguang Sun
# Negate creates the negation of a given function.
# --
Negate(${1:f})$0